An Extension of Panjer's Recursion

Reducing Recursion to Iteration by Algebraic Extension

A Rational Reconstruction and Extension of Recursion Analysis

The focus of this paper is the technique of recur8\on analysis. Recursion analysis is used by the Boyer-Moore Theorem Prover to choose an appropriate induct ion schema and variable to prove theorems by mathematical induct ion. A rat ional reconstruction of recursion analysis is out l ined, using the technique of proof plans. This rat ional reconstruction suggests an extension of recursion analy...

An extension of the Wedderburn-Artin Theorem

‎In this paper we give conditions under which a ring is isomorphic to a structural matrix ring over a division ring.

An Operator Extension of Bohr's inequality

An Efficient Extension of Network Simplex Algorithm

In this paper, an efficient extension of network simplex algorithm is presented. In static scheduling problem, where there is no change in situation, the challenge is that the large problems can be solved in a short time. In this paper, the Static Scheduling problem of Automated Guided Vehicles in container terminal is solved by Network Simplex Algorithm (NSA) and NSA+, which extended the stand...